1. Linear logic in computer science
پدیدآورنده : edited by Thomas Ehrhard ... ]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical,Mathematics ، Computer science
رده :
QA
9
.
54
.
L563
